A subset B of a vector space is said to be a basis for V over F if B is linearly independent over F and every element of V is a linear combination of elements of B.